DisCSP.CSP
Class VariableVector

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractList
          extended byjava.util.Vector
              extended byDisCSP.CSP.VariableVector
All Implemented Interfaces:
java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

class VariableVector
extends java.util.Vector


Field Summary
 
Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
VariableVector()
          Costruttore di VariableVector
VariableVector(Variable var)
          Costruttore di VariableVector
 
Method Summary
 void addVariable(Variable var)
          Aggiunge una variabile
 boolean isPresent(Variable v)
          Controlla se una variabile è presente
 void removeVariable(Variable var)
          Elimina una variabile
 Variable variableAt(int i)
          Restituisce l'i-esima variabile
 
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Constructor Detail

VariableVector

public VariableVector()
Costruttore di VariableVector


VariableVector

public VariableVector(Variable var)
Costruttore di VariableVector

Parameters:
var - una variabile del vettore
Method Detail

variableAt

public Variable variableAt(int i)
Restituisce l'i-esima variabile

Parameters:
i - l'indice
Returns:
l'i-esima variabile

addVariable

public void addVariable(Variable var)
Aggiunge una variabile


removeVariable

public void removeVariable(Variable var)
Elimina una variabile


isPresent

public boolean isPresent(Variable v)
Controlla se una variabile è presente

Parameters:
v - la variabile
Returns:
true se v è presente, false altrimenti